Nuprl Definition : rcv? 11,40
rcv?(e) == ecase1(e;info;i.ff;l,e'.tt) 
latex

clarification:

rcv?(info;e) == ecase1(e;info;i.ff;l,e'.tt) 
latex

Definitionstt, ff, ecase1(e;info;i.f(i);l,e'.g(l;e')), rcv?(e)
FDL editor aliasesrcv?

origin